Object Nets for the Design and Verification of Distributed and Embedded Applications
نویسندگان
چکیده
In this paper we present an object-oriented method for the design, verification and implementation of embedded and distributed systems. The method is called Concurrent Object Net (CON). The CON method is based upon extended statecharts which use specific message links for communication. For simulation and verification corresponding Petri nets are used. A platform abstraction framework for CON accesses hardware in optimized manner. An application example from the automotive domain is used to show further CON details.
منابع مشابه
Concurrent Object Nets - a Design Method for Distributed and Embedded Real-time Systems
Abstract. In this paper we present an object-oriented method for the design, verification and implementation of embedded and distributed real-time systems. The method is called Concurrent Object Net (CON). The CON method is based upon extended statecharts which use specific message links for communication. For simulation and verification corresponding Petri nets are used. A platform abstraction...
متن کاملDesign Modification of Rogowski Coil for Current Measurement in Low Frequency
The principle object of this paper is to offer a modified design of Rogowski coil based on its frequency response. The improvement of the integrator circuit for nullifying the phase difference between the waveforms of the measured-current and the corresponding terminal voltage is a further object of this investigation. This paper addresses an accurate, yet more efficient measuring and protect...
متن کاملAvailability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملFormal verification of embedded distributed systems in a prototyping approach
This paper presents an evolutionary prototyping methodology dedicated to the design, verification and implementation of embedded systems. This methodology relies on L f P : a formalism combining UML-like structuring capabilities and a precise semantic suitable for both code generation and formal verification based on colored Petri nets. We apply this methodology on a small example and show how ...
متن کاملRefining middleware functions for verification purpose
The development of real-time, dependable or scalable distributed applications requires specific middleware that enables the formal verification of domain-specific properties. So far, typical middleware implementations do not directly address these issues. They focus on patterns and frameworks to meet application-specific requirements. Patterns propose a high-level methodology adapted to the des...
متن کامل